Game semantics - PDFSEARCH.IO - Document Search Engine

Game semantics
Results: 71

#	Item
51	Communicating with Cost-based Implicature: a Game-Theoretic Approach to Ambiguity Hannah Rohde University of Edinburgh 3 Charles Street Edinburgh, UK Add to Reading List Source URL: idiom.ucsd.edu Language: English - Date: 2012-08-22 15:27:58 Pragmatics Science Ambiguity Critical thinking Implicature Referring expression Loudspeaker Communication Perception Semantics Philosophy of language Linguistics
52	Semantics and the Web: e-Government Implications of some Emerging Technology Beyond W3C Adrian Walker www.reengineeringllc.com Add to Reading List Source URL: www.reengineeringllc.com Language: English - Date: 2004-09-18 14:03:39 Tile-based game Manufacturing Business Technology Engineering Computer-integrated manufacturing
53	Phrase Detectives: Utilizing Collective Intelligence for Internet-Scale Language Resource Creation MASSIMO POESIO, JON CHAMBERLAIN, and UDO KRUSCHWITZ, University of Essex LIVIO ROBALDO, University of Turin LUCA DUCCESCH Add to Reading List Source URL: www.jonchamberlain.com Language: English - Date: 2013-10-24 07:41:36 Human-based computation Applied linguistics Data collection Human-based computation game Semantics Word-sense disambiguation Treebank Annotation International Corpus of English Linguistics Science Computational linguistics
54	Imperfect Information in Logic and Concurrent Games Pierre Clairambault1 , Julian Gutierrez2 , and Glynn Winskel1 1 2 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-03-06 10:39:50 Mathematics Philosophical logic Logic in computer science Structure Universal algebra Symbol Determinacy Independence-friendly logic Game semantics Logic Mathematical logic Model theory
55	For the ACS course Advanced Topics in Concurrency Event Structures, Stable Families and Concurrent Games Glynn Winskel [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-02-05 13:06:24 Computer science Applied mathematics Concurrency Denotational semantics Actor model Petri net Game semantics Domain theory Semantics Theoretical computer science Models of computation Logic in computer science
56	1 Entry for International Directory of Logicians, 2008 VAN BENTHEM, Johannes Franciscus Abraham Karel Specialties: Modal logic, epistemic logic, dynamic logic, logics of time and space, semantics of natural language: gen Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2009-01-30 07:12:28 Philosophy Game theory Philosophy of mathematics Mathematical logic Johan van Benthem Modal logic Game semantics Institute for Logic Language and Computation Epistemic modal logic Logic Philosophical logic Mathematics
57	Optimization Games: An Application Maria Aloni* [removed] A b s t r a c t In an optimization game (see [5]) speaker and addressee coordinate their choice of preferred syntactic form and preferred interpretation. I Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:50 Semantics Model theory Philosophical logic Game theory Interpretation Optimality theory Pragmatics Entailment Nash equilibrium Logic Science Mathematics
58	A Compositional Game Semantics for Multi-Agent Logics of Partial Information Samson Abramsky Oxford University Computing Laboratory Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:07 Semantics Formal languages Predicate logic Independence-friendly logic Game semantics Interpretation First-order logic Model theory Entailment Logic Philosophical logic Metalogic
59	A Game Semantics for Generic Polymorphism Samson Abramsky Oxford University Computing Laboratory Radha Jagadeesan DePaul University Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:19 Theoretical computer science Applied mathematics Generic programming Sheaf Combinatory logic Holomorphic functional calculus Mathematics Computability theory Lambda calculus
60	Decisions, Agents and Games Marina De Vos* and Dirk Vermeir Dept. of Computer Science Free University of Brussels, VUB Pleinlaan 2, Brussels 1050, Belgium Tel: +[removed] Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:50 Science Nash equilibrium Solution concept Subgame Trembling hand perfect equilibrium Non-credible threat Extensive-form game Strategy Stable model semantics Game theory Problem solving Economics